1. Combinatorics, computability and logic :
پدیدآورنده: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
2. Combinatorics, computability and logic :
پدیدآورنده: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA164
.
C733
2001
3. Computability in context :
پدیدآورنده: editors, S. Barry Cooper, Andrea Sorbi
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computable functions,Computational intelligence,Mathematics-- Philosophy,Set theory
رده :
QA9
.
59
.
C655
2011
4. Computing with foresight and industry :
پدیدآورنده: Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
رده :
QA9
.
59
.
C67
2019
5. Mathematical Foundations of Computer Science 1976 :
پدیدآورنده: edited by Antoni Mazurkiewicz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer Science.,Computers.
رده :
QA267
.
3
E358
1976
6. Proceedings of the ... Annual ACM Symposium on Theory of Computing
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Computable functions,Congresses ، Computational complexity
رده :
QA
267
.
A27a
2002
7. <The> theory of computability
پدیدآورنده: / R. Sommerhalder, S.C. Van Westrhenen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Algorithms,Computational complexity,Computable functions
رده :
QA9
.
58
.
S64
1988
8. The theory of computability : programs, machines, effectiveness, and feasibility
پدیدآورنده: Sommerhalder, R.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Algorithms,، Computational complexity,، Computable functions
رده :
QA
9
.
58
.
S64
1988
9. Theory and applications of models of computation :
پدیدآورنده: Mitsunori Ogihara, Jun Tarui (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computable functions, Congresses,Computational complexity, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
T36
2011eb
